The first volume of a projected two-volume work in mathematical logic. Along with an introduction containing brief but careful and remarkably compact discussions of such topics as the kinds of expressions occurring in formalized language, the logistic method, syntax, and semantics, the book comprises clean and precise treatments of the propositional calculus, and first- and second-order functional calculi, including parenthetical remarks about the intended semantical interpretations of these calculi, some development of the calculi themselves, and discussions of completeness and consistency. (...) A great number of exercises are included, ranging from elementary exercises in technique to brief sketches of theories not treated in the text.--W. T. (shrink)

I contend that Jews, Christians, and Muslims who seek peace should not be reluctant to acknowledge the existence of their sometimes profound disagreements, or to affirm the truth of their own beliefs and practices. Since this places me at odds with John Hick, I analyze his views, granting the strengths of his critical realism and arguing that his revisionist-pluralist theory of religion has significant limitations for interreligious dialogue. Since the veridical-pluralist alternative I propose facilitates rather than stifles disagreement, I examine (...) three different conceptions of dialogue that acknowledge the importance of disputes among those searching for truth. I also discuss three virtues--honesty, empathy, and humility--whose cultivation would make us less likely to fail in our search for truth and the peace that is its sign and fruit. (shrink)